$\forall$$A$,$B$:Type, $f$:($A$$\rightarrow$$B$), ${\it as}$:($A$ List), $n$:int\_seg(0; $\parallel$${\it as}$$\parallel$). map($f$; ${\it as}$)[$n$] = $f$(${\it as}$[$n$])